-
1 RCA
1) Общая лексика: анализ первопричин (root cause analysis)2) Компьютерная техника: Rollback Compensative Alerter3) Медицина: right coronary artery4) Американизм: Regional Cooperative Agreement5) Военный термин: Recon Company Alpha, Requirements Control Authority, Royal Canadian Army, Royal Canadian Artillery, Royal Commission on Awards, radar-controlled approach, radiological control area, request for corrective action, riot control agent, rocket carrying aircraft7) Шутливое выражение: Really Crappy Appliance, Record Cemetery Of America8) Математика: Recursive Comprehension Axiom9) Религия: Rabbinical Council of America10) Метеорология: Regular Countably Additive11) Грубое выражение: Real Crappy Appliance, Really Crappy Azn13) Полиграфия: Royal College of Art14) Сокращение: Radio Club of America, Radio Corporation of America, Reach Cruising Altitude, Revenue Cost Analysis (2002), Rural Carrier Associate, rolling circle amplification15) Университет: Research Challenge And Application16) Физиология: Ricinus Communis Agglutinin17) Электроника: Radio Company Of America18) Вычислительная техника: Radio Corporation of America (Corporate name)19) Кардиология: ПКА (правая коронарная артерия)20) Биотехнология: Rolling-circle amplification21) Фирменный знак: Rand Collins Of America22) Налоги: агентство сбора местных налогов (Rate Collection Agency - аналог налоговой инспекции, но собирают только местные налоги (Великобритания))23) СМИ: Record Company Alliance24) Деловая лексика: Revealed Comparative Advantage25) Менеджмент: Resource Consumption Accounting26) Полупроводники: residual gas analysis27) Макаров: raw coal ash28) Логистика: Regional Customs Authorities29) Должность: Resident Computer Assistant30) Правительство: Regulatory Commission Of Alaska31) Управление проектами: Root Cause Analysis
См. также в других словарях:
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Second-order arithmetic — In mathematical logic, second order arithmetic is a collection of axiomatic systems that formalize the natural numbers and sets thereof. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. The… … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Ordinal analysis — In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength. The field was formed when Gerhard Gentzen in 1934 used cut elimination to prove, in modern terms, that… … Wikipedia
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia
Implementation of mathematics in set theory — This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine s New… … Wikipedia
Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
